252 research outputs found
Extend Commitment Protocols with Temporal Regulations: Why and How
The proposal of Elisa Marengo's thesis is to extend commitment protocols to
explicitly account for temporal regulations. This extension will satisfy two
needs: (1) it will allow representing, in a flexible and modular way, temporal
regulations with a normative force, posed on the interaction, so as to
represent conventions, laws and suchlike; (2) it will allow committing to
complex conditions, which describe not only what will be achieved but to some
extent also how. These two aspects will be deeply investigated in the proposal
of a unified framework, which is part of the ongoing work and will be included
in the thesis.Comment: Proceedings of the Doctoral Consortium and Poster Session of the 5th
International Symposium on Rules (RuleML 2011@IJCAI), pages 1-8
(arXiv:1107.1686
Reasoning about Social Relationships with Jason
Abstract. This work faces the problem of enabling an approach to agent programming, which allows agents to seamlessly manage and work both on social relationships and on abstractions which typically characterize agents themselves, like goals, beliefs, intentions. A similar approach is necessary in order to easily develop Socio-Technical Systems and provides a basis for carrying on methodological studies on system engineering. The paper presents an extension of JaCa(Mo) in which Jason agents can reason on social relationships, that are represented as commitments, and where Jason agents interact by way of special CArtAgO artifacts, which reify commitment-based protocols
Social Computing in JaCaMo
Abstract. Social Computing (SC) requires agents to reason seam-lessly both on their social relationships and on their goals, beliefs. We claim the need to explicitly represent the social state and social relationships as resources, available to agents. We built a framework, based on JaCaMo, where this vision is realized and SC is imple-mented through social commitments and commitment protocols. 1 PROPOSAL AND MOTIVATION Many systems, developed to support human users, require a transi-tion from an individualistic to a societal perspective. For instance, Socio-Technical Systems (STS) are large-scale, multi-party, cross-organizational systems, which help stakeholders to interact and to use shared resources [11]. Such systems perform a social computation which is the sum of the independent contributions of autonomous, and heterogeneous, parties [10]. Traditional approaches to software engineering do not fit the needs of such systems, because they d
- …